TSTP Solution File: DAT200^1 by Nitpick---2016